Stephen A . Edwards
نویسندگان
چکیده
The fundamental principle of synchronous languages is the division of the program execution into a sequence of logical steps. On the one hand, this programmer’s view simplifies many analyses and synthesis procedures, but on the other hand, it imposes inflexible restrictions on developers and compilers. To lower these restrictions, we propose the refinement of logical steps into substeps. We illustrate our approach by extending the imperative synchronous language Quartz by new statements, which allow developers to explicitly declare subclocks. Thereby, clocks can be refined by several independent subclocks so that a controlled amount of asynchrony between subsequent synchronization points can be exploited by compilers. The advantages obtained by the new modeling feature are finally illustrated by various examples.
منابع مشابه
Stephen Hawking's Community-Bound Voice A Functional Investigation of Self-Mentions in Stephen Hawking's Scientific Prose
Thanks to the development of the concept of metadiscourse, it is now widely acknowledged that academic/scientific writing is not only concerned with communicating purely propositional meanings: what is communicated through academic/scientific communication is seen to be intertwined with the negotiation of social and interpersonal meanings. While a large number of so called metadiscoursal resour...
متن کاملFeyz Kashani and Jonathan Edwards on the Place of Heart in Religious Knowledge
This essay seeks to summarize and compare the theological ideas of Jonathan Edwards, a western philosopher, with those of Feyz Kashani, an eastern philosopher. The reason for this study is the numerous conjunctions that are seen in their ideas. These include the harmony of heart and reason in respect to belief, the priority of the heart in the reflection of truth, the belief in centrality of th...
متن کاملModel variables: cleanly supporting abstraction in design by contract
ion in Design By Contract Yoonsik Cheon a,∗, Gary T. Leavens b, Murali Sitaraman c, and Stephen Edwards d aDept. of Computer Science, University of Texas at El Paso, El Paso, TX 79968, U.S.A. bDept. of Computer Science, Iowa State University, Ames, IA 50010, U.S.A. cDept. of Computer Science, Clemson University, Clemson, SC 29634, U.S.A. dDept. of Computer Science, Virginia Tech, Blacksburg, VA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010